x>=0&&y>=0&&x+y>=2&&y<=2*(1-x^2/9)